681. The Philosophy of Michael Dummett /
پدیدآورنده : edited by Brian McGuinness and Gianluigi Oliveri.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Dummett, Michael,1925-2011,Dummett, Michael,1925-2011.,Dummett, Michael,1925-2011,Language and languages-- Philosophy, Congresses.,Mathematics-- Philosophy, Congresses.,Analytische filosofie.,Filosofia da ciencia.,Filosofia da linguagem.,Language and languages-- Philosophy.,Matematica.,Mathematics-- Philosophy.,Wiskunde.
رده :
B1626
.
D854
P48
1994
682. The Philosophy of mathematics today
پدیدآورنده : edited by Matthias Schirn
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : History -- 02th century -- Congresses ، Mathematics -- Philosophy
رده :
QA
8
.
P435
683. The Principles of mathematics
پدیدآورنده : Russell, Bertrand, 2781-0791
کتابخانه: Latin Specialized Library of Islamic Sciences and Culture Academy (Qom)
موضوع : Philosophy ، Mathematics,، Philosophy
رده :
QA
9
.
R8P7
1992
684. The Space of mathematics : philosophical, epistemological, and historical explorations
پدیدآورنده : edited by Javier Echeverria, Andoni Ibarra, Thomas Mormann
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Mathematics -- Philosophy,History -- Congresses ، Mathematics
رده :
QA
8
.
S63
1992
685. The World treasury of physics, astronomy, and mathematics
پدیدآورنده : edited by Timothy Ferris; with a foreword by Clifton Fadiman, general editor
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Physics,، Astronomy,، Mathematics,، Science -- Philosophy,Biography ، Physicists,Biography ، Astronomers,Biography ، Mathematicians
رده :
QC
71
.
W67
686. The adventure of reason :
پدیدآورنده : Paolo Mancosu
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical,Mathematics-- Philosophy-- History-- 20th century
رده :
QA9
.
M295
2010
687. The age of alternative logics :
پدیدآورنده : edited by Johan van Benthem ... [and others]
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Categories (Philosophy),Logic, Symbolic and mathematical,Mathematics-- Philosophy,Proof theory
رده :
BC135
.
A39
2006
688. The age of alternative logics : assessing philosophy of logic and mathematics today
پدیدآورنده : edited by Johan van Benthem... ]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy,، Proof theory,، Categories )Philosophy(
رده :
BC
135
.
A35
689. The age of alternative logics: assessing philosophy of logic and mathematics today
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy,، Proof theory,، Categories )Philosophy(
رده :
BC
135
.
A39
2006
690. The applicability of mathematics as a philosophical problem
پدیدآورنده : Steiner, Mark
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Mathematical physics,، Mathematics -- Philosophy
رده :
QC
20
.
S76A6
691. The architecture of modern mathematics :essays in history and philosophy
پدیدآورنده : edited by J. Ferreirعos and J.J. Gray
کتابخانه: Library of Mofid University (Qom)
موضوع : History Philosophy ، Mathematics,History ، Mathematics - 81th century,History ، Mathematics - 91th century,History ، Mathematics - 02th century
رده :
QA21
.
A73
2006
692. The autonomy of mathematical knowledge : Hilbert's program revisited
پدیدآورنده : Franks, Curtis
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Hilbert, David, 2681-3491,Philosophy ، Mathematics
رده :
QA
8
.
4
.
F72A9
693. The axiomatic method; an introduction to mathematical logic
پدیدآورنده : Lightstone, A. H.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Axioms,، Mathematics-- Philosophy
رده :
QA
248
.
L53
694. The common sense of the exact sciences
پدیدآورنده : Clifford, William Kingdon, 5481-9781
کتابخانه: Latin Specialized Library of Islamic Sciences and Culture Academy (Qom)
موضوع : Philosophy ، Mathematics
رده :
QA
9
.
C5C6
695. The common sense of the exact sciences
پدیدآورنده : Clifford, William Kingdon
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Mathematics - Philosophy
رده :
QA
9
.
C63
1996
696. The common sense of the exact sciences
پدیدآورنده : Clifford, William Kingdon
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Mathematics-- Philosophy
رده :
QA
9
.
C63
1996
697. The concept of model :
پدیدآورنده : Alain Badiou ; edited and translated by Zachary Luke Fraser and Tzuchien Tho
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematics-- Philosophy,Model theory
698. The conceptual roots of mathematics : an essay on the philosophy of mathematics
پدیدآورنده : Lucas, John Randolph, 9291-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Mathematics -- Philosophy
رده :
QA
8
.
4
.
L82C6
699. The consistency of the Axiom of choice and of the generalized continuum- Hypothesis with the Axioms of set theory
پدیدآورنده : Kurt Godel
کتابخانه: Central Library of Campus 1 Technical University of Tehran (Tehran)
موضوع : Mathematics-philosophy,Logic,Symbolic and mathematical
رده :
QA
9
.
G54
700. The consistency of the Axiom of choice and of the generalized continuum- Hypothesis with the Axioms of set theory
پدیدآورنده : Kurt Godel
کتابخانه: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
موضوع : Mathematics-philosophy,Logic,Symbolic and mathematical
رده :
QA
9
.
G54
